罗尔定理证明一类存在性问题

提出罗尔定理证明一类存在性问题的方法,采用拉格朗日中值定理或柯西中值定理来证明这类问题往往需要构造精巧的辅助函数,我们还指出了这种方法的一般性.     

Titanium nanocarbides: Synthesis and modeling

The present state of research on the production and modeling of nanostructures based on titanium carbide-a typical representative of an extensive class of carbides of d-and f-metals-is reviewed. Methods for the synthesis of various Ti-C nanostructures (molecular clusters, nanocrystallites, nanospheres, nanofibers, nanowires) are examined, and their morphology, atomic structure, and known physicochemical characteristics are described. Theoretical models of the atomic structure and properties of new types of nanostructures in the titanium-carbon system (endo-and exohedral titanofullerenes, “hybrid” structures based on carbon nanotubes, the so-called peapods, nanocables, and a number of others) and the prospects for their application as components of nanoceramics, hydrogen accumulators, materials for spintronics, etc. are discussed. __________ Translated from Teoreticheskaya i éksperimental’naya Khimiya, Vol. 43, No. 1, pp. 1–23, January–February, 2007.     

L-S category of quaternionic Stiefel manifolds

By calculating certain generalized cohomology theory, lower bounds for the L-S category of quaternionic Stiefel manifolds are given.     

Lévy processes and their subordination in matrix Lie groups

Lévy processes in matrix Lie groups are studied. Subordination (random time change) is used to show that quasi-invariance of the Brownian motion in a Lie group induces absolute continuity of the laws of the corresponding pure jump processes. These results are applied to several examples which are discussed in detail.     

加权Herz—type Triebel—Lizorkin空间的特征及应用

当s∈ R,0,〈q, p〈∈∞,0,〈β≤∞且 max{-n/q,-nδ2/qδ1}〈a时，定义了加权Herz—type　Triebel-Lizorkin空间kq^q,pF^s β（R^n,ω1，ω2）和Kq^a,pF^sβ（R^n，ω1，ω2），并给出这些空间的一些特征及在这些空间上的Hard—Littlewood极大算子不等式．     

Countably compact topological group topologies on free Abelian groups from selective ultrafilters

Tkachenko showed in 1990 the existence of a countably compact group topology on the free Abelian group of size c using CH. Koszmider, Tomita and Watson showed in 2000 the existence of a countably compact group topology on the free Abelian group of size c² using a forcing model in which CH holds.Wallace's question from 1955, asks whether every both-sided cancellative countably compact semigroup is a topological group. A counterexample to Wallace's question has been called a Wallace semigroup. In 1996, Robbie and Svetlichny constructed a Wallace semigroup under CH. In the same year, Tomita constructed a Wallace semigroup from MAcountable.In this note, we show that the examples of Tkachenko, Robbie and Svetlichny, and Koszmider, Tomita and Watson can be obtained using a family of selective ultrafilters. As a corollary, the constructions presented here are compatible with the total failure of Martin's Axiom.     

On cellularization for simplicial presheaves and motivic homotopy

We construct cellular homotopy theories for categories of simplicial presheaves on small Grothendieck sites and discuss applications to the motivic homotopy category of Morel and Voevodsky.     

QN-spaces, wQN-spaces and covering properties

The main results of the paper are as follows: covering characterizations of wQN-spaces, covering characterizations of QN-spaces and a theorem saying that Cp(X) has the Arkhangel'ski?ˇ property (α₁) provided that X is a QN-space. The latter statement solves a problem posed by M. Scheepers [M. Scheepers, Cp(X) and Arhangel'ski?ˇ's αi-spaces, Topology Appl. 89 (1998) 265-275] and for Tychonoff spaces was independently proved by M. Sakai [M. Sakai, The sequence selection properties of Cp(X), Preprint, April 25, 2006]. As the most interesting result we consider the equivalence that a normal topological space X is a wQN-space if and only if X has the property S₁(Γshr,Γ). Moreover we show that X is a QN-space if and only if Cp(X) has the property (α₀), and for perfectly normal spaces, if and only if X has the covering property (β₃).     

Mathematical modelling and analytical solution for workpiece temperature in grinding

This paper deals with modelling the workpiece temperature field produced during the grinding process. The proposed model is given in terms of a two-dimensional boundary-value problem where the interdependence among the grinding wheel, the workpiece and the coolant is described by two variable functions in the boundary condition. An explicit integral form solution is constructed using the Laplace and Fourier transforms and the Green’s function method.     

Mutual solubilities of hydrocarbons and water with the CPA EoS

The knowledge of hydrocarbon/water phase equilibria is important in the design and operation of equipment for petroleum transport and refining and petrochemical plants. The presence of water in a hydrocarbon mixture can affect the product quality and damage the operation equipment due to corrosion and formation of gas hydrates. Tracing the concentration of hydrocarbons in aqueous media is also important for technical purposes like preventing oil spills and for ecological concerns such as predicting the fate of these organic pollutants in the environment.